VAR

  a[2]

TRANS
  
  next(a[0]) = a[0]
  &
  next(a[1]) = a[1]
