Deleted Eulogy-for-Professor-Arthur-Lim