Add GoedelGod