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