Comments: Hal Clement, RIP