slight issue with the sense of NE reversed for symbolic values