After the end of the loop, the set of unmatchedCapabilities is updated (line 19). Then, to ensure the one-to-one correspondence needed by Definition 2, the method checks whether both n and s expose the same number of capabilities (line 20). If so, and if there are no unmatched ...