Hal-Roth1-final