Huge loss. But a long and productive life. RIP.