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