We are seeding the random number generator correctly.