The user can manipulate axioms, statements, facts, or rules that are self-evident and true, from which the rest of a system, - whether it be an argument, a mathematical system, the laws of physics or more - emerges from. They are the most basic, self-evident facts from which principles emerge from, and from them distinct concepts and the rest of the system. The reverse is also true - a concept can be broken down into principles, which can then be broken down into the simple, self-evident axioms that compose it.