Ordinals are dead