We must provide a formal description of the information desired.
i.e. the set of tuples for which predicate is true.