retard wrote:
Has anyone except the almighty Andrei ever even downloaded a theorem prover?

That's *A*lmighty Andrei, note the caps. Please show due respect.

Reply via email to