Docstrings and pre/post conditions