𝒮1:w1=w0,