defs lab4