final production rules