rename formals to args