Version 1 of #2929

I think this is partly to do with the fact that Veritula has no clear way of indicating when a resolution has been reached or a problem has been solved.

For example, I am currently applying #2840, and it is working well. There is no obvious thing I should be doing in Veritula to note that. I would probably only bring it up again if it didn’t solve the problem in the end.