I'm still rather confused on how we figured out the missing assumption. I don't get how the missing assumption fits into the rest of the question and would appreciate a more in-depth, step-by-step explanation. Thank you!