Logic Problems: Problem 4