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 inf, sup, and conj keywords

  • How to introduce modal nodes using modal keywords

  • How to flow and roam using flow and roam keywords

  • How to introduce a method node using a how keyword

  • How to introduce “special nodes” with ! and ?

  • 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.