Explicit argument for phi