x[2] := x[3] + 5