he has also been active in the theory of proof theoretic ordinals iyo umusirikare ari we woheje abandi afterwards he said that's it ryari ryoroshye gukinisha