(J78-6B32): Add `<-formed' for J0-6D70; add `<-same' for J0-6D70.