doublenegativemeansyes- a case has just been solved.