— Det der är att antaga en sats utanbevis