true

(true | false) => c

expect c

---

true

(true | true) => c

expect c

---

true

(true | true) => c

expect c

---

true

(false | false) => c

don't expect c