The condition of intention preservation was not formally specified in the CCI model for purposes of formal proofs.
Условие сохранности намерения не было формально определено в CCI модели для целей формальных доказательств.