Theophilus, Langrenus, Petavius und Janssen