a pair of pairs in Models