Links for godel-terminal