Conjunction with Contradiction/Proof 1