Title: How to Shrink an Argument