Graspable Math provides two kinds of substitutions. First, you can drag one side of an equation, like the "a" in "a=5", onto a matching term in another expression to substitute every occurrence of that term, like turning "2a+a" into "2*5+5". Second, you can drag any expression directly onto a variable to substitute the dragged expression into every instance of that variable in the target derivation.