I do and/or/not, no need to talk about falsum here