Here's a method those predicates depend on.