Graph minors form well-quasi-order: any infinite family contains H ≤ G. Polynomial recognition for every minor-closed class.