Aristotle's_axiom loading ...