Added formal parameters to functions