User blog comment:Nayuta Ito/faketest/e0/@comment-30754445-20180804174000/@comment-35392788-20180804221132

U(e(W+1)^w) would be U(W_2+U(W_2+1)), I think