 It was not intended for correctness verification for techniques (e.g.OT) that are designed for specific data and operation models and for specific applications.In, the notion of intention preservation was defined and refined at three levels