A New Math Identity for Regret Minimization Forces Linear Allocators Into Contrarian Bets — type0 | type0