 and similarly for other arities. It is thus not difficult to see that we can thereby also obtain relativized versions of results like the  s-m-n Theorem (3.1)  and the Universality Theorem  (3.2)  as exemplified by the following: