Explain `many.py` in README.