How to Know When Things Are Really Done