Verified Exporters Introduction