Title: A Heinlein trio