If you should ever want to wind up an old-school Robert Heinlein fan — which, by the way, you shouldn’t do, they’re all clocking seventy-plus years now, and you should respect you…