Domain d1wffa2: 1wff A:1-7

Shown in context of the chain.