_{MsgExamRegistrationRegisteredWithoutField (length registeredNoField)}

$forall email <- registeredNoField
• #{email}