`P_w P_z = P_{w+z}`.