Synced with eecs70 site for hw10