_{MsgCourseParticipantsAlreadyRegistered (length alreadyRegistered)}

$forall email <- alreadyRegistered
• #{email}