Finnes det någon bewisning att tillgå?