Գրեք սա: Models and ultraproducts;