Substitutions


   \%f [x:=v](y)  ==
         v             if x = y
         \%f (y)        otherwise
  

slide: Substitution