No - it's the opposite! :) The good one is %SYSTEMROOT%\system32\wbem\wmiprvse.exe - located among all the other wmi*.* files. The bad...
Separate names with a comma.