Updating Additional Predicates