added proof rounding scheme