Some syntaxic sugar for ring 0s and 1s
First lattice theorems