RT CW A1 Philoponus, John, active 6th century T1 In posteriora resolutoria Aristotelis commentaria