ReferenceError
I got the following error while doing the "Proving Observation Congruence" exercise in the book: Similar to the issue Yasmine Briefs (#12 (closed)) opened about this error last year I was selecting pairs for the relation.
Edited by Felix Freiberger