add nagated predicates where it make sense, count::of function