Equation Icon  1 IIA: dH7 + R2 ∧ R6 − --R4 ∧ R4 = 0, (548 ) 2 IIB: dH7 + R1 ∧ R7 − R3 ∧ R5 = 0. (549 )