Heinlein, etc.