What is a "provided header"?