Statistics for A note on mechanization