Importing and Exporting Global Assumptions