{ x3 = x4 - x2 }