They use formal RNGs examined because of the independent labs to have reasonable consequences