„prove nonexistence" nicht gefunden