p + 12 > 9