Fem trappor upp af Gödel !.