Aristotelian proof

GPTKB entity