Stop here if you haven't taken the poll. I think it is very readable but gives itself away by favoring certain phrases which suggest a template. Phrases like "w

Stop here if you haven't taken the poll. I think it is very readable but gives itself away by favoring certain phrases which suggest a template. Phrases like "we are done", "whenever", "therefore,[setting]". All the proofs are terse in general but it tends to spell things out more carefully than humans who prefer to string ideas using conjunctions and leave obvious basics as implicit. Because it spells things out like a careful someone just learning (uses "so" less, the mature person is also apart) it would be a good tool for exposition. By that token I can also guess the grad student as the one who seems most comfortable (and also for favoring "take" and for all style statements while using "exist" and "since" least). This is most interesting for what it says about teaching and how internalized understanding makes teaching hard: expertise is an iceberg floating in a sea of unconscious reasoning. My guesses: ======== grad student: b, c,a, b,a bot: c, a, b,c,c