>But its still a critical failure to over-constrain Well yes tautologies are tautological and all, but the point is that GP and the people agree with it suspec

>But its still a critical failure to over-constrain Well yes tautologies are tautological and all, but the point is that GP and the people agree with it suspect that their definition of "over-constrain" happens way way past where the article's author does.