w[=[w,0[A],>[>]]]