ยง Post's Problem [WIP ]