Correct definition of alterFacts'