A common challenge when performing 𝘶-substitution is to realize which part should be our 𝘶.
License: CC BY-NC-SA by Khan Academy