In this case either of the solutions would satisfactorily solve the problem, so implementing both would be redundant and wasteful. The problem appears in this c

In this case either of the solutions would satisfactorily solve the problem, so implementing both would be redundant and wasteful. The problem appears in this case when there’s disagreement on which of the two satisfactory solution paths should be taken. Implementation work cannot proceed until it’s decided which solution path is to be taken (even though they both work), but there’s no way to prove which is best aside from general intuition arguments, or actually implementing both (which as mentioned, would be a waste of resources for no benefit).