module Aristotle