The top documents tagged [proof sketch b4b4 p4p4]