Use the \holthmenv macro more.
Complete epsilon0 section.