Formal documentation modified.