@AaronBergmann Rather not, I think, for else, (GRR) would arise just by specializing some parameters in its formulation, just as (HRR) arises from (GRR) by specializing the morphism and from (ASI) by specializing the operator, and I know of no way to formulate the Index Theorem for Families in such a way that specializing some parameters ieads to (GRR). By the way, this would make the appearance of elaborate papers like [6] 14 years later look somewhat strange.

@PaulMonsky Such poor people are easier rememebered by appropriate mnemonic tricks as Milnor's famous limerick The perfidious lemma of Dehn Was every topologist’s bane ‘Til Christos D. Pap- akyriakop- oulos proved it without any strain.