This release implements a mapping from the semantics of the logic of here-and-there to the semantics of classical logic for the here-and-there translation mode. This makes it possible to verify the strong equivalence of logic programs with negation and simple choice rules. Furthermore, the translation is also extended to handle pools.