[soah]

so I checked and he instapotted it with Ad7x, then he was nice enough to call my push for like $7.60 more

I felt like the naked Ad was a significant portion of his range here but I had no way to be sure he'd bet it, nor did I know what he'd do with the rest of his range... clearly arguments for both options here.