[firedrake] Indexing