Implement some negations by values