  We give another proof of ordinal analysis of $I\Sigma_{k}$-fragments of Peano
Arithmetic which is free from cut-elimination of $\omega$-logic. Our main tool
is a direct witnessing argument utilizing game notion, motivated from the realm
of proof complexity and bounded arithmetic.
