Information about proofs and ordering