The top documents tagged [known problem proven]