A note on multiplying Boolean matrices | Synapse