La formalización del realismo local fue entonces cambiada efectivamente, reemplazando A y B por medias y reteniendo el símbolo formula_56 pero con uun significado ligeramente diferente.