Removed implemtation specs because TAs in previous lab said they were redundant