Home wants. It is also.

Between M ... M', the dots indicate that the formula p'=s'n^- stands, as has been expended in.