for I, x being set holds bool (I --> x) = I --> (bool x)