... they interpreted A->B as B->A). So where ... ASSUMED that A-> B implies B-> A, we merely ... if the argument illicitly assumed B->A, then the ... in our world, then B->A would not necessarily ... said. Also, check out preptest 53 section 1 question 18 for ...