[ comments ] Haddockified invertP.