The top documents tagged [proof simpler]