Proven in Practice