proof they re real in Models