Гипотетическое знание и идентификация истинности.