proving that they&amp in Models