Text this: A deductive theory of space and time /