Carrying Properties Over Reductions Intro To Theoretical Computer Science Udacity