explanation 1 proofs 1