defs for lab3