Algorithms for expressions.