Indeed, typically the Aviator 1win will be centered on Provably Reasonable algorithms. –