refactor: PushFacts