satisfying curves in Models