In a procedure, the name, all the formal parameters of the parameter interface, and any other properties.