Special:EditPage/Template:Classical logic/doc