Two nuclear bets, neither proved at scale — type0 | type0