TFPI and atrial fibrillation: In AF mice, TFPI fluorescence was markedly decreased and ADAMTS1 fluorescence increased in LAAs.