How Theorem Made Credit Safe and Available