if h~g forall h,g in H s.t. h(j)=g(j) forall j!=i => state is null.