lab3defs