die logische konsequenz sein: nicht gefunden