Added inferences from Part 1

Added to the definition of the problem.