Mathematicians build upon proofs in advancing their craft. So do cooks, who often use ingredients made of ingredients—ketchup, for instance, or condensed soup. For Jim Henle PhD ’76, the beauty of ...