Ah I didn’t even notice that. Ordinals theory defines how to track the sat.