If X then Y doesn't imply anything about not-X, but that doesn't mean it's less useful for describing X. It's moot anyway because the answer is out there publi

If X then Y doesn't imply anything about not-X, but that doesn't mean it's less useful for describing X. It's moot anyway because the answer is out there publicly and no heuristic is needed to resolve it.