3 ms·Good thought, thanks! Still curious who's seeing this happen with their proofs.by eganist 5y agoGood thought, thanks! Still curious who's seeing this happen with their proofs.