Horner's_rule loading ...