Withdrawal is a type of Departure. Departure is a synonym of Difference. Difference is related to Distinction. 
Punish entails/necessarily involves Estimate. 
Withdrawal --IsA--> Departure <--Synonym--> Difference <--RelatedTo--> Distinction 
Punish --Entails--> Estimate 