WT:MATH#Proofs, revisited