Title: Reasoning Algebraically about Operations