Update pinchimpl.py