Evidence Over Attestation
“To write the proof first, when it is cheap and uncomfortable.”
Writing the proof first is cheap and uncomfortable, and the discomfort is the point.

More lines from the same part
“To write the proof first, when it is cheap and uncomfortable.”
Writing the proof first is cheap and uncomfortable, and the discomfort is the point.
