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

outputs (- => not completed):
