sentence1: circumscription , though , satisfies it , at least when all models considered are finite .
sentence2: it is easy to see that circumscription satisfies cut , at least when all models that have to be considered are finite .