The Aviator game is usually predicated about a verifiably trusted formula. –