Text this: Constructive axiomatics for spacetime physics /