EmptyingFact's friends