User blog comment:Alemagno12/alemagno12's hydra/@comment-1605058-20150714060020

When defining EAH(n), what is a?

You didn't give any rules for resolving hydras with {}.