 The ordinal representation systems encountered so far are not sufficient for expressing the strength of theories of iterated inductive definitions nor that of the strongest of the standard system of reverse mathematics, \((\Pi^1_1{\Hy}\bCA)_0\). Therefore we intersperse a brief account of how to proceed onwards, adumbrating the main ideas.