Annotate function docstrings with pre- and post-conditions,and class/module docstrings with invariants, and thisautomatically checks the contracts while debugging.