~{[ P I2 E IVI ]}