failing non-monotone