add defs from lab1