sillyboy wrote:
I'm unable to decipher the argument. Please explain in simple terms.
Once one realizes that in option E, the pronoun "that" refers to "verification", then the question would be easier to comprehend.
Premise: In most computer-assisted proofs there are astronomically many types of instances to survey, andno human being could review every step in the proof .
Conclusion: computer-assisted proofs involving astronomically many types of instances should not be accepted.
The basic
...
![FLO – Therapy at the Club – Pre-Single [iTunes Plus M4A]](http://is1-ssl.mzstatic.com/image/thumb/Music221/v4/a4/11/88/a41188ed-0f2e-e8d5-1163-d59e373cc58c/26UMGIM30046.rgb.jpg/208x208bb.webp)
.jpg)
