Polynomial-time_reduction loading ...