possibly playing with equality saturation