There is another connection between categorical quantum mechanics and quantum logic, as subobjects in dagger kernel categories and dagger complemented biproduct categories form orthomodular lattices. In fact, the former setting allows logical quantifiers, the existence of which was never satisfactorily addressed in traditional quantum logic.