guaranteed triplets in Models