Det finns fortfarande mycket att lista ut om hur vi integreras med mänskliga matematikers tankegångar, för att bättre fånga de pedagogiska syftena med bevis, inte bara de epistemologiska. Men jag är glad över att få vara en del av den här resan tillsammans med resten av @mathematics_inc-teamet.