How Does Exodus Explain Substitution?