First steps towards formalisation