docs(proof) needed to fix consistency of abrevs, reduce verboseness, improve clarity I will take this one