For CMU's 15-122 class