e-graphs are awesome! none of this would be possible without them.