Title: Reasoning Algebraically about Operations Casebook