Well-quasi-ordering loading ...