Lab3 defs