Re: [Dart8] Algebraic analysis at DART