om möjligheten att bewisa en åtminstone ihögsta