To match an element from one list with an element in a second list, it doesn’t matter which list is selected first, but the question isn’t answered until both elements have been selected. We’ll model this concept by keeping the selection status of each list in parallel states of a state machine.