Revert "Implement withdraw."

This reverts commit fe5224c12d95deea2488c84f33eb5f52e7e0eb9b.
Revert "Withdraw"

This reverts commit 3a8b9e8e5820806ef7e76bd179a7ec357a3604a0.
Update specifications.
User for loop to calculate balance.