Fix example production rules, start partition function.