annotated—provided with explanatory notes or comments