Added basic negation map, without cycle detection/escape.