added some defs to lecture note 04