It isn't clear to me why this file is in the predicates package. Can you explain?