Omniscience principle and generic convergent sequence

I’m looking for someone to explain the first two equations in this article. I’ve got a good grip on it, but missing any sort of live feedback.

https://www.cs.bham.ac.uk/~mhe/papers/omniscient-journal-revised.pdf

Thanks,
Oliver