partial evaluation pt. V