Racket predicates. .