<E>-
slide: Substitution