| | | |--> INF_6a
  | | | |--> INF_6b
  | | | |--> INF_6c
  | | | `--> INF_7a