lab11defs