*Laws of Form*(hereafter "LoF") can be written in square-bracket notation as

**[[pr][qr]] = [[p][q]]r**

(square-bracket is preferable to paren notation in text, since it doesn't conflict with the literary use of parentheses).

(The theorem interpreted as logic—see Appendix 2 of LoF—might read " '( p OR r ) AND ( q OR r )' is equivalent to '( p AND q ) OR r'.)

The theorem itself is proven in LoF by application of Theorem 16, "The bridge" (see the final remark below), showing it holds in either case or value of

**r**, reducing to

**[] = []**

when

**r**is dominant (

**r = []**) and

**[[p][q]] = [[p][q]]**

when

**r**is recessive (

**r =**).

Let

**p**be dominant instead, and the theorem reduces to

**qr = qr**

while letting

**q**be dominant yields

**pr = pr**

But let

**p**be recessive, and the theorem reduces to

**[[r][qr]] = r**

while letting

**q**be recessive yields

**[[pr][r]] = r**

The left-hand expressions of these equations are of course equiformal, since

**[[r][qr]] = [[qr][r]]**

and the equations therefore represent a single form of equation.

This equation can be rewritten as

**[[a][ab]] = a**

(since

**ab = ba**).

It holds for all cases; dominant

**a**yields

**[] = []**

while recessive

**a**yields

**=**

and both cases of

**b**yield

**a = a**

This equation is not presented in LoF as a primary arithmetic theorem, nor does it seem to be a consequence of the algebra.

This suggests that it is a new primary arithmetic theorem and might, therefore, be a new, third initial of the algebra as well, opening a whole new world of consequences.

(The theorem interpreted as logic might read " 'a AND ( a OR b )' is equivalent to 'a' ".)

Should the theorem prove indeed to be new, it is suggested that it be called "Volution", its forward step

**[[a][ab]] -> a**

"devolution", and its reverse

**[[a][ab]] <- a**

"evolution": This nomenclature is itself suggested by the reflection (LoF primary algebraic consequence C1) and internal iteration (C5) implicit as first steps in the latter, which recall the genetic duplication so critical to biological evolution, allowing mutation of a duplicate gene without losing the function of the protein encoded by the original.

The theorem might be written

*If successive spaces s*

_{n}, s_{n+1}, s_{n+2}are arranged so that s_{n}, s_{n+1}are distinguished by one cross, and s_{n+1}, s_{n+2}are distinguished by two crosses, s_{n+2}being thus in two divisions, both divisions sharing an expression, one containing an unshared expression, then the value of the resultant expression in s_{n}is the shared expression.Note that

**[[ab][ac]] = a**

does not hold for recessive

**a**or dominant

**b**or

**c**.

Finally, the above arose from a continuing skeptical consideration of LoF Theorem 16, "The bridge".

Keywords: binarics, binaries, enarics, enaries, George Spencer Brown, Laws of Form, LoF