Can we use the contrapositve as a way to essentially double check our work in translating an argument into Lawgic?