Begin documentation
spell out assumptions