unfinished thoughts on account transfer semantics and logic.