Yritti. Muutamasta väärästä positiivisesta tuloksesta huolimatta se löysi virheitä mallin yhtälöistä, monia merkintäepäjohdonmukaisuuksia, paljon mahdollisuuksia parantaa kirjoittamisen selkeyttä ja monia muita yksityiskohtia. Todella hämmästyttävä työkalu, käytän uudelleen ja suosittelen sitä lämpimästi. @ben_golub