When searching for truth, it is wrong to cut off areas of the search space before you prove that they must be empty, which requires a metatheory of the space you are searching. But once you have that metatheory, it is also wrong to not discard areas that you know to be empty.
I think this is an excellent example of prematurely stating certainty and reducing the search space before understanding the metatheory btw.