You can count 1 ball, 2 balls, U balls, K balls, Scg(13) balls... but what if you need to count φ(ε0*ω^2,ω^ω,ϑ{∏0+1},ϑ(Ω^ω)) balls, or α = ε_{ω^ω}+α balls? Stuff for beyond ϑ(Ω^ω) is coming when I have time to do so.
