* Mutation coverage
* Provide a dedicated Header object