Thane Ruthenis comments on nostalgebraist’s Shortform

[Thane Ruthenis]

But you can also get around that by talking with it, summarizing the conclusions at the end

Yeah, but that’s more work.