lab5defs