@texhewson I guess the “pedagogical we” makes sense for proofs and the like, but may sound strange in other contexts…