improve proof production chapter