Proof_Theory:_The_First_Step_into_Impredicativity