Almost there with case analysis