Use intrusive lists for linear facts.