renaming of formal parameters of the predicate matrix