The top documents tagged [proof stress rp0]