explanatory header comment