proving that they& in Models