Method nodes are introduced by the keyword
applying, which is the sole
keyword in the how category. It is used after the conclusion has been
deduced, as in:
A implies B. From C get D, hence E by B, applying M.
Notice that the
applying clause simply interposes the method node between
the conclusion and its supporting reasons. Thus, if we were to omit it we
A implies B. From C get D, hence E by B.