boring.py