Re-writing formalisation.