P: | 'a' P 'a' | 'b' P 'b';