The algorithm
All integers from 2 to n start uncrossed. The tool takes the smallest uncrossed number, declares it prime, and crosses out its multiples starting at its square - the multiples below the square already carry a smaller prime factor, so this avoids redundant strikes. The first uncrossed number is then the next prime. Once the current prime's square exceeds n, every remaining uncrossed number is prime.