On two proofs of $d^2$ mixing of weighted Dikin walks | TickerVault