Thus {{pstp|p={{{1}}}|a=fa|b=fb|..}} can represent any function f given by a set of pairs (a,fa), (b,fb), .. , except that these cannot include a pair (p,fp). To allow the latter also, we can use {{pstp|p=q{{{1}}}|qa=fa|qb=fb|..}}.