Halliday (2008: 121):
Seen from the system end, instantiation means making a pass, or passes, through the network, selecting a systemic feature at each choice point. The key properties, for understanding this as a meaning-making operation, are proportionality and agnation.