I don't think law of the excluded middle applies here.