Methods

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.

Try it

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 would get:

A implies B. From C get D, hence E by B.