an addition expression has an equivalent​