add Φ^{-1}