[CS] Unravel double negative