Function introduction#

TODO