Changes to prepare for negation map + benchmark results for today