The top documents tagged [methods of proofmethods]