Model existence theorem