More predicate glue.