Just set up Lab 4