decl prog - intro notes corrections