[revelation]

If both are true then the implication would hold. I think it's "true -> false" which of course doesn't hold.