Hot: transactionguarantee