Test 3 Bonus The arguments below look simple, but the proofs are challenging. You cannot get help from friends or tutors or TA's. but vou can get help from me. The first proof is excellent preparation for the second, they both require an obvious variation on "prove an antecedent.\" (GoHI | ~IHG) 3 points (16-20 lines) R(S5=T) - R=S)-T 3 points (44-50+ lines) Due: Wednesday, Oct. 12, 1n class. No late work accepted for credat. To receive credit you must write the following on the proof and sign and date it: This 1s my own work