🤔 Intuitional Logic === minimal logic with one extra rule== Extra rule (EFQ) A⊥ → if we got a ⊥, we can conclude any A