Text this: Quanta, logic and spacetime