Untitled

State  
Users: \mathbb{P} User  
Accounts: \mathbb{P} Account  
userAccount: User \leftrightarrow Account  
userTransactions: User \leftrightarrow \mathbb{P} Transaction