The spec doesn't require the use of actually random numbers though.