 formula_1 would interpret Boolean join and formula_2 Boolean complement.Boolean meet and the constants 0 and 1 are easily defined from the Robbins algebra primitives.Pending verification of the conjecture, the system of Robbins was called "Robbins algebra."