Tags: Proof Ratings Guide Tight Enclosures