<E>-
slide
:
Substitution