We accept a proof || proposition on the ground of a proof.