Javadocs.
We don't need the random number generator here.