Domain d1hava_: 1hav A:

Shown in context of the chain.