A definição de Hard Fork não seria uma divisão "física" da rede?