(Ordinals.sats