Send Item

Send an item from user account to another, with the following features:

• either user can abort
• no deadlocks exists, even if one player goes offline
• formally verified, items can never be created nor destroyed