SMS dit: David the Invincible, commentary on Aristotle's Prior analytics