They use formal RNGs examined by separate labs getting fair consequences