Small changes to GrammarHypothesis; now I'm going to test for convergence!