Domain d1ofs.1: 1ofs A:,B:

Shown in context of the chain.