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