. . "details such as documentation on the new predicates." . .