Professor Emeritus Ernest Cravalho, 1939-2021