 \(\lvert (\bPi^1_1\Hy\bCA)_0\rvert\), however, eludes expression in the ordinal representations introduced so far. This will require the much stronger representation to be introduced in  Definition 5.11.