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

outputs (- => not completed):
