Seems to be working. But how does one quantify randomness?