a b 1 a \N 1 a \N 2 a b 1