これは、 "x" のすべての要素が α より前の階層で追加されたことを意味する。