Recently, when I added tag proof-verification for my questions, it was then changed to solution-verification. Could you please explain the reason for this phenomenon?