updated proof of parameter passing