used to set up for 6.005 class