The top documents tagged [indirect proofexample]