a and b and (not c)