Many Proofs
Classical
Evidential
Presuppositional