added productions to the theming convention.