by a negative logic