 A feature of (logical) intuitionism is a denial of the law of bivalence, and its characteristic denial of the truth of formulas such as \((p\lor\neg p)\). The intuitionistic interpretation of theoremhood is said to be provability, and it may be that neither \(p\) nor \(\neg p\) is provable, so hence \((p\lor\neg p)\) should not be provable. In Dummett’s version, the provability constraint is replaced by warranted assertibility…which in turn is based on having rules for being justified in introducing some piece of language into a conversation and rules that justify the exploitation of the piece (‘exploitation’ being the standard term used in discussing natural language corresponding to the ‘elimination’ used when one exploits a logical operator). A rallying cry of such theorists might be that