 Champollion, Ciardelli, and Zhang (2016) consider a light which is on when switches A and B are both up, or both down. Currently, both switches are up, and the light is on. Consider  (38a)  and  (38b)  whose antecedents are Boolean equivalents: 