Transactions: some pre-conditions