Gödel , sörml . , och Sven Lampa,