Phi moving based on type inference