refactor formal parameters