Final Discard: How to Know When You’re Done