Polynomial-time loading ...