clarify withdrawal operation logic