Bewisning lär wara tillgänglig.