concrete syntax for the index