partial evaluation pt. VI