Negation in Two Nodes — For All Real x

The neg gap is closed: exl(0, deml(x,1)) computes −x in exactly 2 nodes for all x ∈ ℝ, with no domain restriction. The SuperBEST table is complete.