| | `--> 3c
  | | `--> proba1
  | | |--> 2.r.
  | | |--> 3.r.