{ x10 = x1 - x2 }