introduction of proof output parameters