Equation Icon  1 1 1 IIA: H7 = dB6 − -C1 ∧ R6 + -C3 ∧ R4 − -C5 ∧ R2, (542 ) 2 2 2 IIB: H7 = dB6 + 1-C0 ∧ R7 − 1C2 ∧ R5 + 1C4 ∧ R3 − 1C6 ∧ R1. (543 ) 2 2 2 2