Step 11 works, FAIL with empty step 6 elements H.
Step 12 does something, but fails if there are cycles in the Graph