w[`2[[A],>[B]]]