There does appear to be a deficiency in the logic in withdrawing.