Correspondence

The agreement of the Interlocking with the Detected state of a Signalling
Function.