STORY WITHIN A STORY: Exodus: "and she bare him a son, and he called his name Gershom: for he said, I have been" this, a Robert Heinlein novel