ÒsatisfyÓ Example
lThe predicate is_prime is satisfied by each of 2, 3, 5, 7, 11, É
lIt is not satisfied by 4, 6, 8, 9, 10, ...