User:Googleaarex/Ordinals vs Catching Function