Implemented PS and PG together with their normal forms.