User blog:Deedlit11/Ordinal Notations IV: Up to the proof theoretic ordinal of KPI