The constraints are shown in plane text, in topological order, finally!