refinements that eliminate indicies.