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