Implements the FactsProvider class