Removed heavy.py; don't need it any more.