obituary for Saunders Mac Lane