Text this: Quanta, logic and spacetime :