Comment by aleksejs

How do you even begin to define what correctness means for the transformations if you have no formalized model of the thing you're transforming into?