Strongly_polynomial loading ...