Class Verifier<V,​S>