Formal_consensus loading ...