Formal Documentation begins