[6c1] is accessible to [6c2] because every embedding function considered for [6c2] is an extension o...