Text this: Higher-order and symbolic computation.