A role for factor XIIa–mediated factor XI activation in thrombus formation in vivo | Synapse