avant-letter proof