class UnknownFact