ttd and tota are not the strongest also just search something like "do ordinals fundamentally define order" it says yes bro
c2a part 1+1½: https://scratch.mit.edu/projects/1260772683/
