Let be the predicate where .
Determine the truth set for .