Det finns en logiskkonseqvens