227 project is coming along.

Next, epsilon-differentiability of H_r. Then, how
to evaluate H_r(m) quickly.