I work in the category of varieties over some field of characteristic zero. Assume that for any variety I can define the group $\widetilde{CH}^r(X,n)$ which behave like classical Bloch's higher Chow group. More prisiesly it satisfy the following properties: 1. For any $X$, there is the natural map $\psi_X\colon {CH}^r(X,n)\to \widetilde{CH}^r(X,n)$ 2. When $n=2r$ the map $\psi_X$ is an isomorphism Moreover the group $\widetilde{CH}^r(X,n)$: 3. Covariantly fucntorial for flat morphism and contravariantly functorial for proper pushforwards 4. There is localisation sequence 5. Homotopy invariance holds Can I deduce that the natural map is an isomorphism? Or what additional property I need to check? I think this would be not difficult if I knew that $\psi_X$ is an isomorphism when $X$ is prime spectrum of some field. But I don't know that.