_{MsgExamRegistrationNotRegisteredWithoutCourse (length aurNoCourseRegistration)}

$forall email <- aurNoCourseRegistration
• #{email}