Gödel ström , li . , och hr Ehrenheim , P.