proving they&amp in Models