How does the substitution delay rule work?