Domain d1wffa1: 1wff A:8-79

Shown in context of the chain.