Laws of Form
Let A and B be any two expressions of the primary algebra. The primary algebra is made up of equations of the form A=B, and these equations are treated in the same way as the equations of the number algebra taught in all schools. Standard methods of logic seldom use equations. LoF argues that doing elementary logic with the primary algebra is easier. In particular, if A is a tautology in logic, then one of A=() or A=(()) holds in the primary algebra.