notation and terminology
*** empty log message ***