Robert Heinlein abandons the gnarly dinosaur.