Higher-Order & Symbolic Computation | Issues