Divide and conquer + expansion gradually, to check