Requirement: The size of the linked list used to store IDs of artists registered for an event never exceeds 2.
Refinement: No artist attempts to register for
e1 when the size of the array used to store artists
e1 is equal to 2.
Up to Chiron Decomposed Dispatcher (2 artists, 2 events)
Forward to Property 9
Back to Property 7