“In the definition of ‘data race’ there’s always talk of mutation”