Batch Arithmetic done, Batch Predicates incomplete