Próbowałem. Mimo kilku fałszywych pozytywów, znalazł błędy w równaniach modelu, wiele niespójności w notacji, wiele możliwości poprawy klarowności pisania i wiele innych szczegółów. Naprawdę niesamowite narzędzie, będę z niego korzystać ponownie i gorąco je polecam. @ben_golub