included proven safety property of D2.5
update doc 3.5