Quantum logic remains in limited use among logicians as an extremely pathological counterexample (Dalla Chiara and Giuntini: "Why quantum logics? Simply because 'quantum logics are there!'"). Although the central insight to quantum logic remains mathematical folklore as an intuition pump for categorification, discussions rarely mention quantum logic.