New: formalisation