prerequisites (- => not satisfied):
  - 1/a succeeded
  - 1/b succeeded

outputs (- => not completed):
  (None)
