That’s it, you’ve learned all there is to the Meson proof language!
You have learned:
The keywords, and the categories to which they belong
How to link nodes together using
How to introduce modal nodes using
How to flow and roam using
How to introduce a method node using a
How to introduce “special nodes” with
That capitalization matters in node names
That punctuation and capitalization are otherwise free, and should be used (along with word and sentence structure variation) to improve human readability
A, so B, therefore C by D and E. Hence F, using G, so H.