In this paper, the authors consider a problem inherent in the first-come first-served (FCFS) matching model. They consider a system with two infinite streams, one of customers and one of servers. Each server must be matched to a single customer of appropriate type. Matching is FCFS in the following sense: the first server in the infinite server stream scans the list of customers sequentially, starting with the first customer on the list, until the first customer eligible to receive service from the scanning server is found. This customer-server pair matches, and leaves the system, and the process repeats with the next server, who again scans the stream of customers, starting with the first customer, on the list. Equivalently, matchi...