@mathpunk I of course mean Mac Lane, whose first name is Saunders. Sheesh, what's the deal with last-name first-names?