The top documents tagged [proof iv]