Prereq rules
The prerequisites for IC211 are that you have taken IC210 or you have taken SI204. If you don't satisfy the prerequisites, you cannot enroll in IC211. If you do satisfy the prerequisites, and you have not taken IC211, you may enroll in IC211.
Given that MIDN Jones is enrolled in IC211 and he has not taken IC210, prove that he has taken SI204.
Version A Version B
The prerequisites for IC211 are that you have taken IC210 or you have taken SI204. If you don't satisfy the prerequisites, you cannot enroll in IC211. If you do satisfy the prerequisites, and you have not taken IC211, you may enroll in IC211. The prerequisites for IC211 are that you have taken IC210 or you have taken SI204. If you satisfy the prerequisites, you can enroll in the IC211. If you don't satisfy the prerequisites, you cannot enroll in IC211. If you have already taken IC211, you may not enroll in IC211.
Are these just two different ways of saying the same thing? Or do they mean different things?