(M-09215): Unify S-6056; add `<-formed' and `<-same' for M-27997; add