formal documentation