statisfying in Models