## § Satisfied and frustrated equations

I found this interesting terminology on a wiki walk
• An edge is satisfied if some equation y = f(x) is satisfied .
• Otherwise, the edge is said to be frustrated .
This is far more evocative terminology than UNSAT/unsatisfied, and also makes for good haskell like variable names. ss for satisfied equations, fs for frustrated equations!