use proof data for pmf