>>12
どういう体系で考えているのかわからないが、
たぶん φ が恒真でない場合を考えてみるといいと思う