BadWay -> BadResult (so as to be coherent with Way -> Result).