(K0-627A): Add S1-7325; add `<-formed' for K0-627B.