§ Post's Problem [WIP ]