/\ \a c \in activeelevatorcalls:peoplewaiting[c.floor,c.direction]/＝{}\*no ghost calls