He's already solved it