Phi in Transducer Formula