Special:EditPage/Template:Non-classical logic