Ireneus kan blant annet vise til: