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