code: @Override
  	public void undo(Transaction tx) {
  
  		LogSeqNum lsn = tx.recoveryMgr().logLogicalAbort(this.txNum,this.lsn);
  		VanillaDb.logMgr().flush(lsn);
  
  	}
docs: Appends a Logical Abort Record to indicate the logical operation has be
  aborted