AVG proof