3. Quantum logic