We need to find a new composite testing procedure which is able to shrink this space, and make the chance of error negligible - which means we'll need to review how we can actually shrink errors with iterations.