[amelius]

When reading the title, I was thinking more of real-world applications. For instance, the Cantor-Schröder-Bernstein theorem or the "Knight tour's" problems seem like rather abstract problems.