pay attention to the subproofs to figure out how we did it! here's the argument: p1: ~(~p&~q) p2: r->~q c: r->p