[math-fun] Multiple proofreaders