added order_leq_twice_max_degree, twice_alpha_leq_order