satisfied in Models