Aviator provably fair: verification versus prediction | Rachómetro