Import-Export — principle of classical logic