there should be an annual Mathematicians' Rounds where we go to other departments and point out what they've reinvented with worse notation