a pair of naturals in Models