As mentioned in my above comment, the reason for mixing “can” and “should” problems is that they form a “stack” of sorts, where attempting to approximately solve the bottom problems makes the above problems harder and verification is important. How many people would care about the vision if one could never be certain the process succeeds?
Thanks for the first part of the comment.
As mentioned in my above comment, the reason for mixing “can” and “should” problems is that they form a “stack” of sorts, where attempting to approximately solve the bottom problems makes the above problems harder and verification is important. How many people would care about the vision if one could never be certain the process succeeds?