Additions to lab1defs.txt