Notice also that there would have been no problem with the result (and no failure of deductive closure) if Henry had been aware that redness is a distinguishing mark of real, as opposed to counterfeit, barns.