Results for binary constraints
Tangle this.
Include this so we can debug.