Two All statements into a some statement

Hi Dalaal, thanks for the question. This is a valid deduction because A - > B implies A <-some-> B. Let's work this from the beginning: B < - A - > C B <-some-> A - > C This becomes B <-some-> C as you suggested above. I hope this helps. Please let me know if you have any other questions!