One of the things you do when you problem solve is create an axiom.