No reason not to solve the smaller problem though.