  Implication is perhaps more typical of ND than conjunction: to derive A ⊃ B, one temporarily assumes A, then  tries to derive B. If this succeeds, the temporary  assumption is closed or “discharged” when the conclusion  to A ⊃ B is made, as in the schematic derivation