olika antaganden sakna allkonseqvens