Updated Predicate description of inv