 We conclude this section with a final remark on addition, which according to Anderson and Belnap does not hold for intensional disjunction. The validity of addition has also been disputed in relation to imperative logic. We don’t seem to be able to conclude  (18)  from  (17)  (Ross’ (1941) paradox):