Dynamic indexing of linear facts.