Problem 1 definition