Two edges, one idea: constrain the model declaratively rather than by inspecting what it produced.