 The condition of intention preservation was not formally specified in the CCI model for purposes of formal proofs.The SDT and LBT approaches try to formalize an alternative conditions that can be proved.The consistency model proposed in these two approaches consist of the following formal conditions