The EXPORT Procedure