Delete Stump.v