No need to use delete_if in Erastothenes any more.