w[[ABw[[.w,\=1]],1]]