Domain d4ikva_: 4ikv A:

Shown in context of the chain.