Disjunction of Conditional and Converse/Proof 1