@varab- = @code@′e (1) ξ X = Y (2)