it is a hard fork because the result would be two chains: the existing chain and one with frozen coin