phi to if