//EqualFacts