Describir: The dynamic turn in quantum logic.