added AlgoFact