. . . . . . "a link predicate" . . . .