"From this they deduced that the problem was recursive..."