https://alandroidnet.com/tags/Non-classical-logic