Yes; putting essentially the same example another way, we might feel intuitively that there are two separate proofs of the propositional theorem that &quot;B AND C&quot; implies &quot;B OR C&quot;.<p>Edit: Or, following up on danharaj&#x27;s framing, we might feel intuitively that there are two separate proofs of &quot;The set {B, C} is inhabited&quot;.