Email Record: Higher-order and symbolic computation.