Verification does not kill creativity; proof protects the moment without defining the art — let higher output raise the bar; proof gives the moment memory.