E313 (Student identification code) + E307 (Course code) is duplicated in another record

If there is more than one record for a particular student (as identified by E313 (Student identification code)),

THEN

all records for that student must have different codes for E307 (Course code).

Start year - 2005