... />
A —> B—> /C or /D
I understand ... this chain represents?, particularly w/r/t moving backwards along this ... D, or D not C, or Not C not D.'. If that ... negating B requires BOTH Not C and Not D. Is that ... because we could have not C or not D or neither ...