functions, negations, and values