Proven Vct PLC Metrics