Create pinchimpl.sage