exploring-formalisation