introduced users, domain of X_attendees is now the powerset of users