Working on GrammarDemo; GrammarHypotheses do not converge with MH.