Boolean algebra inference laws
Marking shorthand codes