Psychology and Formalisation