avturchin comments on leogao’s Shortform

[avturchin]

How can we know that the problem is solved—and now we can safely proceed?