This should work as we don't care about the resulting balance on both accounts, if we can withdraw we can always deposit the same amount. The key requirement here is to always finish all the operations or roll back the entire transaction