ingen fullständig bewisning åstadkommas.