End of Higher-order Functions