Class Verifier<V,​S extends Verifier<V,​S>>