a[0]. They're both equivalent. I feel that this would have been asked before, but I can't find a Q&A. It's fairly straightforward to turn the first into the second, so I'm not sure it's worth asking. It would be nicer if there were a robust way to help Sum handle such things.
