conducted during the 'Transaction'. After every 'commit', the TM would mark the transaction as completed. So, "the next time the system started", the TransactionManager would check it's log file to see if there were any inflight transactions. That is how it would decide whether it needs to delete F or not.