← full certificateProof Theater
Extracting premises—Building argument graph—Computing H₁(K;ℤ)
P1The credit model estimates inter-pool default correlation at 0.3%, indicating that mortgage pools will not fail simultaneously