A principle that is analytically true under constructive semantics does not import classical logic p...