Calculi based on an equal sign are called Algebras. ⇒ Pattern Axioms
However, this is still preferable to the alternative of pontificating about designing Children. For then the creative embers are turned into a cloying tepid porridge.