'On the semantics of non-commutative geometry and quantum mechanics'.