More logic proofs