Formalities.

Expect lots of weird symbols and stuff, as the project is on formal logic. 😉

Ramon: New! Fresh! A Blog!