better condition (a and (b but not c))