[x - 9] = 15