https://9dok.org/document/z3dormk8-structure-constraints-influences-complexity-constraint-satisfaction-understood-constraints.html