Email Record: An axiomatic theory of language :