ADAMTS13 and thrombotic thrombocytopenic purpura: In particular, ADAMTS13 −/− mice are viable, exhibit normal survival, and only develop TTP-like symptoms after specific additional insults (e.g. shigatoxin challenge).