With formal parameters