Allowing small violations to the conditions of the theorems provide an even higher improvement in speedup (over 3), without loss of performance.
note that 45 n quickly outgrows the number of sentences as n increases.