the algebraic thinker