Comment by amelius

You missed "correctness preserving transformations" in my first comment :)