Template:Classical logic/doc