Updated documentation
Updated documentation
Updated documentation
Added pre- and post-conditions