Original: Boolean logic is a complete system for logical operations, used in many systems.
Simplified: mbox {A} cdot 1 = mbox {A}