då komma , så att Ödel går i fullbordan.