lab4 defs