Do not rederive facts already derived.