The act of using first principles to build an argument, proof, etc.

TODO