Added some productions