The top documents tagged [arithmetic predicates]