proving they& in Models