Könnte man sagen: Die Logik kümmert die Analysierbarkeit der Funktionen mit denen sie arbeitet nicht.