Sometimes duplicate outputs of blocks in incomplete proof can be difficult to spot, especially in cluttered graph. I stumbled upon this in the last task of session 4 and it took me an effort to find where it was hidden. If such outputs were marked with different color it would helped me a lot.
Sometimes duplicate outputs of blocks in incomplete proof can be difficult to spot, especially in cluttered graph. I stumbled upon this in the last task of session 4 and it took me an effort to find where it was hidden. If such outputs were marked with different color it would helped me a lot.