renamed the section 'Well-Orders' to 'Well-Order'
wrote a bit about cardinality