formal documentation part2