For the MPLSE Reading Group, this week we read egg: Fast and Extensible Equality Saturation. Pranav Srinivasan and I seemed to think that the $\text{e}$-class analysis into any join semilattice looked a lot like a functor. However, I’m not quite sure what the domain of that functor ought to be.