Working on proofs in Order