Template:Classical logic