Fix the `known' predicate.