Randomized_polynomial_time loading ...