Results about well- and better-quasi-orders.