Tagged abstraction-and-indexing-solutio