Return null when rejecting proof