updated header name for proof section