Now, with these two operations completed, the three terms of the argument have been connected and we can literally see how the conclusion indeed follows. There is no avoiding it. If M is a part of P, and if S is a part of M, then S must be a part of P as well.
