scheme notes: predicates