Add algebra and implement Eq