improve (and correct) the nowick case study; looks functional now
improve counterexample IIMIH (?)