Transitive export-import