Domain d4intt_: 4int T:

Shown in context of the chain.