Final version (i hope) of grammar.