a0 --> a3
|      |
|      |
v      v
a1 --> a4


(Abs a3) >>* a2

Abs a0 ----> (Abs a3) >>* a2
  |             |
  |             |
Abs a1 ----> (Abs a4) >>*