Before revision:  In this paper we formally prove the correctness of our approach, also validating it in practical applications and comparing it with prior art.
After revision:  We formally prove the correctness of our approach, also validating it in practical applications and comparing it with prior art.