Extremalwiderspruch und kleinste Gegenbeispiele

Du verwandelst scheiternde Zielstrukturen in strengere Extreme oder kleinere Gegenbeispiele und baust Reduktionen sauber zurück.