The term “high agency” is an ethos for a gambler’s time.