update doc for fact and assersions