"The idea that the order of demonstration was the order of nature came from Plato. Aristotle said that the order of discovery was the reverse of the order of demonstration."