"Set  in all models"