A murine model of factor XI deficiency | Synapse