godel added. Description in the readme.md file