Linear facts that are reused are also retracted.