w=P{αβγa1b1c1za2b2c2}.