 There are counterparts of the Curry-Paradox Lemma that invoke alternative sets of logical principles (see, e.g., Rogerson &amp; Restall 2004 and Bimbó 2006). Probably the most common version replaces the rules Id and Cont with corresponding laws: