If either the seller's or buyer's wallet address is not listed in the Whitelist Database (or if the Company has “frozen” the user's wallet address), the smart contract rejects the transfer and the Distributed Ledger is not updated. The tokens will remain in the sender’s wallet.