proof correction