Added some notes about what the problem domain of a header is