Medieval Logic and Metaphysics (A Modern Introduction)