I reworked this solution because I feel that substitution is more intuitive for the students.
Thanks for refining my solutions Robert! I will be more cautious next time.
Best, Ziming