Domain d1whfa1: 1whf A:47-86

Shown in context of the chain.