Spec for Pairs Matching Game