added proof scores