w[=Gen[A],>[>>[B]]]