false?, true? predicates, with evaluation tests