I wonder if we can turn this into `while prefactor.is_Order`.