Formatted Heinlein and the tool to do it