Symbol: rej_bounded_poly