PHILIPONUS, Philalethes Irenaeus