Add `godel_beta.tm'. (WIP)