Axiomatization of reverse nested lottery contests