What theory was Aristotle's explanation based on