Update Lab2defs.txt