But in this case, the principle itself is not yet available, and the criterion that there should be no contradiction is non productive for where there is nothing, there can be no contradiction either.