 and proved that in this version classical bivalent logic based on \(C\) and \(N\) is contained in intuitionistic logic, provided that detachment is confined to \(C\)-\(N\) formulas only. Classical conjunction and disjunction can be defined in the usual way as \(NCpNq\) and \(CNpq\) respectively. By differentiating intuitionistic from classical connectives his perspective reverses the usual one that intuitionistic propositional calculus is poorer in theorems than classical: in Łukasiewicz’s formulation it is the other way around.