header proof

Drop a comment!