Obituary: Edward H. Jensen Jr.