w[=Gen[>[>[B]]]