rename not -> negate.