Fixed bug where weakest equivalence relation wasn't being set
Merge branch 'master' of https://github.com/JohnKurlak/epibook.github.io