Text this: Abstract sets and finite ordinals :