User blog comment:Nayuta Ito/What We've Agreed on Stage Cardinal/@comment-25601061-20180521220739/@comment-25337554-20180521235951

But some people (I know ecl1 and rpakr) claims S(x)=W_x. So we are not agreed even at S(1)?