Basics of Equality Saturation | Not Hacker News!