add exp() into the procedure, indicating that procedure can be a exp