error(domain_error(order), >=)