formalisation | Factae