I realised that there is a correspondence between ...
# minutest
d
I realised that there is a correspondence between given and a context - the context is the given if you like.