cuts and negations