(GT-56364): Unify MJ058978 and KOSEKI-475830; add `<-formed' for