Extract Phi to a module