Describir: Quanta, logic and spacetime