Perhaps one of the most important and widely used axioms in philosophy. What is it? What does it mean and how does it work?