predicates are a go