- split FinalWrong into 3 models so that we make
  sure that tools handle all the cases (and don't
  just fail for one of them)