in fact we should NOT export the pools