„logical equivalence" nicht gefunden