Added formal docs