1 RDJ 2 (~R.OND)IV / ~JSV Add Line Begin Subproof 1 FD(Y.~K)...