add arithmetic expression makes the NOT easier