no satisfaction in Models