Defs for lab 4