A Theorem on Boolean Matrices | Synapse