Det är det som man i logiken brukatkalla