A function. Applying a procedure has the form:

(procedure arg1 arg2 ...)