Added predicates for b1v1