_{MsgCourseParticipantsAlreadyRegistered (length aurAlreadyRegistered)}

$forall email <- aurAlreadyRegistered'
• #{email}