satisfaction in Models