This means that functions can be passed as arguments to other functions, returned from functions, or assigned to variables. A higher-order function is a function that either takes functions as arguments and executes them or returns a new function. This only works if the function we work with is a pure function (no side effects) and immutability, as otherwise a variable somewhere else could modify the output every time we run the function with the same arguments, resulting in different output.