H

Hydra battles in Coq