Derandom
